Reasoning about Normative Update Natasha Alechina University of Nottingham Nottingham, UK [removed]

Source URL: www.cs.nott.ac.uk

• Linear temporal logic
• Mathematical logic
• Logic
• Norm
• Modal logic

An Operational Semantics for AgentSpeak(RT) Konstantin Vikhorev1 , Natasha Alechina1 , Rafael H. Bordini2 , and Brian Logan1 1 School of Computer Science University of Nottingham

Source URL: www.cs.nott.ac.uk

• Software engineering
• 2APL
• AgentSpeak
• Prolog
• Multi-agent systems
• Computing
• Artificial intelligence

Verifying Dribble Agents Doan Thu Trang, Brian Logan, and Natasha Alechina The University of Nottingham School of Computer Science Abstract. We describe a model-checking based approach to verification of programs writte

Source URL: www.cs.nott.ac.uk

Logic and Agent Programming Languages Natasha Alechina School of Computer Science University of Nottingham [removed]

Source URL: www.cs.nott.ac.uk

• 2APL
• AgentSpeak
• Procedural reasoning system
• Belief–desire–intention model
• Reasoning system
• Intelligent agent
• Production system
• Automated planning and scheduling
• Logic programming
• Artificial intelligence
• Multi-agent systems
• Computing

State space search with prioritised soft constraints Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK.

Source URL: www.cs.nott.ac.uk

• Software engineering
• Applied mathematics
• Constraint
• Mathematical optimization
• Search algorithm
• Constraint optimization
• Constraint logic programming
• Constraint programming
• Theoretical computer science
• Constraint satisfaction

Monads and More: Part 4 Tarmo Uustalu, Institute of Cybernetics, Tallinn University of Nottingham, 14–18 May 2007 University of Udine, 2–6 July 2007

Source URL: cs.ioc.ee

• Adjoint functors
• Monoidal functor
• Monoidal natural transformation
• Monad
• Functor
• Natural transformation
• Monoid
• Category theory
• Monoidal categories
• Algebra

Belief ascription under bounded resources ∗ Natasha Alechina and Brian Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK ({nza,bsl}@cs.nott.ac.uk)

Source URL: www.cs.nott.ac.uk

• Constructible universe
• Epistemic modal logic
• Entailment
• Logic
• Logical syntax
• Propositional calculus

Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk

Source URL: www.cs.nott.ac.uk

• Science
• Intelligent agent
• Software agent
• Modal logic
• Agent-based model
• 3APL
• 2APL
• GOAL agent programming language
• Multi-agent systems
• Artificial intelligence
• Computing

A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk

Source URL: www.cs.nott.ac.uk

• Metalogic
• Model theory
• Mathematical logic
• Logical syntax
• Interpretation
• Modal logic
• Function
• Constructible universe
• Well-formed formula
• Logic
• Formal languages
• Mathematics

A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk

Source URL: www.cs.nott.ac.uk

• Model theory
• Mathematical logic
• Logical syntax
• Interpretation
• Modal logic
• Action selection
• Proposition
• Linear temporal logic
• Logic
• Philosophy of language
• Formal languages